graph theory:neighbor set